Home > Computers & Technology > Networking & Cloud Computing

Formal Methods: Foundations and Applications by Unknown

Author:Unknown , Date: December 5, 2022 ,Views: 40

Formal Methods: Foundations and Applications by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783031224768
Publisher: Springer International Publishing


6.

Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 — a modern refinement checker for CSP. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187–201. Springer, Heidelberg (2014). https://​doi.​org/​10.​1007/​978-3-642-54862-8_​13CrossrefzbMATH

7.

Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Hoboken (1985)zbMATH

8.

Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. McGraw-Hill Inc, New York (1995)



Download

Formal Methods: Foundations and Applications by Unknown.epub


Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Categories
Linux & Unix iPhone & iOS
Macintosh Android
Business Technology Certification
Computer Science Databases & Big Data
Digital Audio, Video & Photography Games & Strategy Guides
Graphics & Design Hardware & DIY
History & Culture Internet & Social Media
Mobile Phones, Tablets & E-Readers Networking & Cloud Computing
Operating Systems Programming
Programming Languages Security & Encryption
Software Web Development & Design
Popular ebooks
The Mikado Method by Ola Ellnestam Daniel Brolund(9813)
Sass and Compass in Action by Wynn Netherland Nathan Weizenbaum Chris Eppstein Brandon Mathis(7810)
Grails in Action by Glen Smith Peter Ledbrook(7719)
Azure Containers Explained by Wesley Haakman & Richard Hooper(6856)
Configuring Windows Server Hybrid Advanced Services Exam Ref AZ-801 by Chris Gill(6853)
Running Windows Containers on AWS by Marcio Morales(6379)
Kotlin in Action by Dmitry Jemerov(5092)
Microsoft 365 Identity and Services Exam Guide MS-100 by Aaron Guilmette(5077)
Combating Crime on the Dark Web by Nearchos Nearchou(4652)
Microsoft Cybersecurity Architect Exam Ref SC-100 by Dwayne Natwick(4632)
Management Strategies for the Cloud Revolution: How Cloud Computing Is Transforming Business and Why You Can't Afford to Be Left Behind by Charles Babcock(4438)
The Ruby Workshop by Akshat Paul
 Peter Philips 
Dániel Szabó
 and Cheyne Wallace(4341)
The Age of Surveillance Capitalism by Shoshana Zuboff(3983)
Python for Security and Networking - Third Edition by José Manuel Ortega(3901)
The Ultimate Docker Container Book by Schenker Gabriel N.;(3562)
Learn Wireshark by Lisa Bock(3544)
Learn Windows PowerShell in a Month of Lunches by Don Jones(3530)
Mastering Python for Networking and Security by José Manuel Ortega(3376)
Mastering Azure Security by Mustafa Toroman and Tom Janetscheck(3356)
Blockchain Basics by Daniel Drescher(3327)